#ifndef SEMINIX_KERNEL_H
#define SEMINIX_KERNEL_H

#include <utils/utils.h>
#include <seminix/printk.h>
#include <seminix/bug.h>

#endif /* !SEMINIX_KERNEL_H */
